1. Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13-17, 1998 : proceedings
Author: Kim G. Larsen, Sven Skyum, Glynn Winskel )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
1443
2. Category theory and computer science :
Author: Eugenio Moggi, Giuseppe Rosolini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
Classification :
QA76
.
9
.
M35
C38
1997
3. La semantica formale dei linguaggi di programmazione :
Author: Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elaboratori elettronici-- Linguaggi
4. La semantica formale dei linguaggi di programmazione :
Author: Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elaboratori elettronici-- Linguaggi
5. Seminar on Concurrency :
Author: edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Programming Techniques
Classification :
QA76
.
6
E358
1985
6. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Author: edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
197
7. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Author: edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
197
8. The formal semantics of programming languages
Author: / Glynn Winskel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
W555
1993
